101. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
102. Ludwig Wittgenstein's philosophical investigations :
Author: Joseph Agassi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wittgenstein, Ludwig,1889-1951., Philosophische Untersuchungen., English-- Criticism and interpretation.,Philosophische Untersuchungen (Wittgenstein, Ludwig),Analysis (Philosophy),Language and languages-- Philosophy.,Semantics (Philosophy),Analytical philosophy & Logical Positivism.,Language and languages-- Philosophy.,Mathematical foundations.,PHILOSOPHY-- History & Surveys-- Modern.,Philosophy.,Semantics (Philosophy),Semantics, discourse analysis, etc.
Classification :
B3376
.
W563
103. Mathematical Foundations of Computer Science 1977 :
Author: by J. Gruska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA267
.
B954
1977
104. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
105. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975
106. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
107. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
108. Mathematical foundations of computer science 2013 :
Author: Krishnendu Chatterjee, Jirí Sgall, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
Classification :
QA76
.
9
.
M35
K757
9999
109. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
110. Mathematics Education and Language Diversity :
Author: edited by Richard Barwell, Philip Clarkson, Anjum Halai, Mercy Kazima, Judit Moschkovich, Núria Planas, Mamokgethi Setati-Phakeng, Paola Valero, Martha Villavicencio Ubillús.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education.,Mathematics-- Study and teaching.,Learning & Instruction.,Mathematics Education.
Classification :
QA11
111. Memory, psychology and second language learning /
Author: Mick Randall.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Memory.,Psycholinguistics.,Second language acquisition.,Cognitieve linguïstiek.,FOREIGN LANGUAGE STUDY.,Geheugen.,LANGUAGE ARTS & DISCIPLINES-- Alphabets & Writing Systems.,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- General.,LANGUAGE ARTS & DISCIPLINES-- Spelling.,LANGUAGE ARTS & DISCIPLINES.,Memory.,Neuropsychologie.,Psycholinguistics.,REFERENCE.,Second language acquisition.,Tweedetaalverwerving.
Classification :
P118
.
2
.
R363
2007eb
112. Model and data engineering :
Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
D3
113. Modeling decisions for artificial intelligence :
Author: Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematical models, Congresses.,Computer simulation, Congresses.,Decision making-- Mathematical models, Congresses.,Artificial Intelligence.,Computers and Society.,Data Mining and Knowledge Discovery.,Math Applications in Computer Science.,Mathematical Logic and Formal Languages.,Systems and Data Security.,Artificial intelligence-- Mathematical models.,Artificial intelligence.,Computer security.,Computer simulation.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Data mining.,Decision making-- Mathematical models.,Ethical & social aspects of IT.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
Q334
114. Modelling Database Dynamics :
Author: edited by Udo W. Lipeck, Bernhard Thalheim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.
115. Multi-agent systems and agreement technologies :
Author: Francesco Belardinelli, Estefanía Argente (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
Classification :
QA76
.
76
.
I58
116. NASA formal methods :
Author: Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
117. On the move to meaningful internet systems:
Author: Robert Meersman, [and 7 more] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
Classification :
TK5105
.
3
R634
2013
118. On the placement and interpretation of the verb in Standard Biblical Hebrew prose
Author: V. J. J. DeCaen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ancient languages,Bible,Bible,Hebrew,Language, literature and linguistics,Philosophy, religion and theology
119. Papers in philosophical logic /
Author: David Lewis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
BC135
.
L44
1998
120. Parts and wholes in semantics /
Author: Friederike Moltmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantics.,Whole and parts (Philosophy),Sémantique.,Tout et parties (Philosophie),LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Semantics.,Semantics.,Whole and parts (Philosophy)
Classification :
P325
.
M59
1997eb
